#include <stdint.h>
#include "stm32f4xx_hal.h"

uint8_t BkpSram[4096] __attribute__((at(0x40024000)));

void BkpSram_Init(void)
{
  HAL_PWR_EnableBkUpAccess();
  __HAL_RCC_BKPSRAM_CLK_ENABLE();
  HAL_PWREx_EnableBkUpReg();
}
